structure S =
struct
  type t (= int)
end
